Get FPU working on context_switch

diff --git a/xen/arch/ia64/xenmisc.c b/xen/arch/ia64/xenmisc.c
index 1a4c1c1fa88a9fd31cb59631d3180c6fa97fe43b..a13eb442c7c2f5d2440480d73b1951e14c554272 100644 (file)
--- a/xen/arch/ia64/xenmisc.c
+++ b/xen/arch/ia64/xenmisc.c
@@ -291,8 +291,8 @@ void context_switch(struct vcpu *prev, struct vcpu *next)
 static long cnt[16] = { 50,50,50,50,50,50,50,50,50,50,50,50,50,50,50,50};
 static int i = 100;
 int id = ((struct vcpu *)current)->domain->domain_id & 0xf;
-if (!cnt[id]--) { printk("%x",id); cnt[id] = 50000; }
-if (!i--) { printk("+",id); i = 100000; }
+if (!cnt[id]--) { printk("%x",id); cnt[id] = 500000; }
+if (!i--) { printk("+",id); i = 1000000; }
 }
        clear_bit(_VCPUF_running, &prev->vcpu_flags);
        //if (!is_idle_task(next->domain) )

diff --git a/xen/include/asm-ia64/xensystem.h b/xen/include/asm-ia64/xensystem.h
index 0de4365b4751d04fbaace84dcf52cfac2c039fe0..307778e09dacbd80a019dea2307462d5f6d38d9b 100644 (file)
--- a/xen/include/asm-ia64/xensystem.h
+++ b/xen/include/asm-ia64/xensystem.h
@@ -58,7 +58,8 @@ extern struct task_struct *vmx_ia64_switch_to (void *next_task);
                ia64_save_extra(prev);                                                           \
        if (IA64_HAS_EXTRA_STATE(next))                                                          \
                ia64_load_extra(next);                                                           \
-       ia64_psr(ia64_task_regs(next))->dfh = !ia64_is_local_fpu_owner(next);                    \
+       /*ia64_psr(ia64_task_regs(next))->dfh = !ia64_is_local_fpu_owner(next);*/                        \
+       /* vcpu_set_next_timer(next);  TURN ME BACK ON */                                       \
        (last) = ia64_switch_to((next));                                                         \
 } while (0)
 #endif // CONFIG_VTI